Applicative functors for my own data type (Haskell)